migration guide: Improve warp-pointer entry

Mention platform APIs.

diff --git a/docs/reference/gtk/migrating-3to4.xml b/docs/reference/gtk/migrating-3to4.xml
index 1d19d6bca11733ef07920b349cfa2a2be4bd0a5d..60afd4d7c2c8c08c996abfec8c12b335cffc1bed 100644 (file)
--- a/docs/reference/gtk/migrating-3to4.xml
+++ b/docs/reference/gtk/migrating-3to4.xml
@@ -293,7 +293,10 @@
       <title>Stop using gdk_pointer_warp()</title>
       <para>
         Warping the pointer is disorienting and unfriendly to users.
-        GTK 4 does not support it.
+        GTK 4 does not support it. In special circumstances (such as when
+        implementing remote connection UIs) it can be necessary to
+        warp the pointer; in this case, use platform APIs such as XWarpPointer
+        directly.
       </para>
     </section>